Properties vs. Resources: Solving Simple Frame Problems Solving Simple Frame Problems
نویسنده
چکیده
Most solutions to the technical frame problem in theories of actions depend on special axioms like the frame axioms, the law of inertia, or the successor state axioms. In these solutions facts about a situation are regarded and represented as properties which hold in the situation. In this article it is argued that it is often more adequate to view facts about a situation as resources which are available in the situation. As resources can be consumed and produced a representation of the facts about a situation as resources leads to a solution of the technical frame problem without the need to state any additional axioms. In order to substantiate our claim we present a simple problem class such that the complexity of a method based on the situation calculus is quadratic regarding this class, whereas it has a linear solution in a resource-oriented approach.
منابع مشابه
Solving Simple Frame Problems
Most solutions to the technical frame problem in theories of actions depend on special axioms like the frame axioms, the law of inertia, or the successor state axioms. In these solutions facts about a situation are regarded and represented as properties which hold in the situation. In this article it is argued that it is often more adequate to view facts about a situation as resources which are...
متن کاملFaster Probabilistic Planning through More Efficient Stochastic Satisfiability Problem Encodings
The propositional contingent planner ZANDER solves finitehorizon, partially observable, probabilistic planning problems at state-of-the-art-speeds by converting the planning problem to a stochastic satisfiability (SSAT) problem and solving that problem instead (Majercik 2000). ZANDER obtains these results using a relatively inefficient SSAT encoding of the problem (a linear action encoding with...
متن کاملSolving the Unconstrained Optimization Problems Using the Combination of Nonmonotone Trust Region Algorithm and Filter Technique
In this paper, we propose a new nonmonotone adaptive trust region method for solving unconstrained optimization problems that is equipped with the filter technique. In the proposed method, the various nonmonotone technique is used. Using this technique, the algorithm can advantage from nonmonotone properties and it can increase the rate of solving the problems. Also, the filter that is used in...
متن کاملHaving the Right Tools: the Leadership Frames of University Presidents
The presidency at an institution of higher education demands a person with a multiplicity of skills in order to deal with a multitude of internal and external stakeholders. They must be able to multitask and seek competitive advantage to deal with a myriad of stakeholders. Bolman and Deal postulated that leaders who analyze problems from a variety of perspectives were able to solve more complex...
متن کاملSignature submanifolds for some equivalence problems
This article concerned on the study of signature submanifolds for curves under Lie group actions SE(2), SA(2) and for surfaces under SE(3). Signature submanifold is a regular submanifold which its coordinate components are differential invariants of an associated manifold under Lie group action, and therefore signature submanifold is a key for solving equivalence problems.
متن کامل